Synthesis of a Controller Algorithm for Safety-Critical Systems

Systems of today are becoming more complex; they have many levels the control hierarchy, software-intensive, use different networks, increasing processing power, a diversity devices, and require integration. Systems-Theoretic Process Analysis (STPA) is technique that being used to analyze safety those systems at concept stage. For design phase, STPA can be combined with SysML modeling activities, including simulation formal verification models produce software efficiently. However, for when starting from analysis there no support elaborate algorithm. Building algorithm one most difficult tasks in phase. We propose method synthesize safety-critical analyses functional requirements. Our maps structure into block diagram (SysML), it uses results generate an initial state machine (SysML) automated controllers, actuators, sensors. our algorithms Adaptive Cruise Control system. evaluate synthesized by performing model verification. This illustrates systematic way satisfy both